1. Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
2. Explanation and proof in mathematics : philosophical and educational perspectives

by Hanna, Gila | Jahnke, Hans Niels | Pulte, Helmut.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 510.1 HAN] (1).

Powered by Koha